201. Computability: computable functions, logic, and the foundations of mathematics
پدیدآورنده : Epstein, Richard L.
موضوع : ، Computable functions,، Logic, Symbolic and mathematical,، Gudel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
202. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L., 7491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
1989
203. Computability : computable functions, logic, and the foundations of mathematics
Author: Epstein, Richard L.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
.
59
.
E67
204. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W35
1990
205. Computation, logic, philosophy :a collection of essays
Author: Wang, Hao
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
W35
1990
206. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao, 1291-5991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35W35
1990
207. Computational logic and human thinking :
Author: Robert Kowalski
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
Classification :
Q342
.
K69
2011
208. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
209. Concepts & Images
Author: by Arthur L. Loeb.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision.,Logic, Symbolic and mathematical.,Mathematical physics.,Mathematics.,Visualization.
210. Conceptual models in mathematics: sets, logic and probability
Author: Hirst, Keith Edwin.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical,، Probabilities
Classification :
QA
248
.
H55
211. Conference in Mathematical Logic, London '70
Author: Edited by Wilfrid Hodges
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C6
1970
212. Conference in Mathematical Logic, London '70
Author: Edited by Wilfrid Hodges
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
255
213. Conference in Mathematical Logic, London 70
Author: Conference in Mathematical Logic, Bedford College
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
214. Conference in Mathematical Logic, London '70
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
255
215. Conference in Mathematical Logic London' 70
Author: edited by Wilfrid Hodges
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
255
216. Constructibility and mathematical existence /
Author: Charles S. Chihara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
Classification :
QA8
.
4
.
C45
1990eb
217. Constructive order types
Author: Crossley, John N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C795
218. Constructive order types
Author: Crossley, John N
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
C795
219. Continuous model theory
Author: Chang, Chen Chung
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
A626
no
.
58
220. Continuous model theory
Author: / by Chen Chung Chang, H. Jerome Keisler
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
C48
